
\begin{tabular}{lllll}

{\bf Input} & {\bf \FDO\ time (sec)} & {\bf Never time (sec)} & {\bf \llvm\ time (sec)} & {\bf Speedup} \\ \hline

auriel & 7.66 & 7.88 & 7.94 & 0.9647   \\ 
cards & 29.52 & 29.79 & 29.76 & 0.9919  \\
ocal & 44.94 & 44.99 & 45.33 & 0.9913  \\ 
proteins-2 & 79.6 & 81.11 & 80.71 & 0.9862  \\
revelation & 5.24 & 5.31 & 5.25 & 0.9980  \\  \hline
Geomean & & & & 0.9864 \\
  
\hline
\end{tabular}
